Computer programming as an art
نویسندگان
چکیده
منابع مشابه
The Secret Art of Computer Programming
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corresponding specification. Until recently the method has not extended to security-style properties, principally because classical refinement semantics is inadequate in security contexts [7]. The Shadow semantics introduced by...
متن کاملArt Imitates Life: Programming by Example as an Imitation Game
Having the computer imitate recorded human actions is the basis for an experimental technology for programming, variously called "Programming by Example" or "Programming by Demonstration". This is an under-appreciated technology that holds the promise of revolutionizing programming and making it more accessible, especially to non-expert programmers. Because imitation is a natural learning strat...
متن کاملThe Art of Programming or Programs as Art
The paper reviews developments in the implications of software programming in art practice whilst pointing to a recognition of the art in programming. The concerns in software-based art are significantly more conceptual than was often the case before. Following the Russian constructivist artists, the software artist is more concerned with the plan for making the work than for conventional rules...
متن کاملThe Art of Computer Programming, Vol. 4 Fascicle 6
$29.99 US | $36.99 CANADA This multivolume work on the analysis of algorithms has long been recognized as the definitive description of classical computer science. The four volumes published to date already comprise a unique and invaluable resource in programming theory and practice. Countless readers have spoken about the profound personal influence of Knuth’s writings. Scientists have marvele...
متن کاملReading as Part of Computer Programming. An Ethnomethodological Enquiry
This paper examines reading as done by programmers engaged in software development. Reading is an activity we feel should be of fundamental interest to studies of programming, but the practical achievement of which has not been closely examined. We give examples of programmers reading in pairs, and reading alone, and show reading in both cases to be explainable in terms of shared social practic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of the ACM
سال: 1974
ISSN: 0001-0782,1557-7317
DOI: 10.1145/361604.361612